four color theorem câu

Câu ví dụ

thêm câu ví dụ:   1  2  3  4


1. The Four Color Theorem was the first major theorem to be proved using a computer.
   Định lý bốn màu là định lý lớn đầu tiên được chứng minh bằng máy vi tính.
2. The four color theorem was the first major theorem to be proved using a computer.
   Định lý bốn màu là định lý lớn đầu tiên được chứng minh bằng máy vi tính.
3. The four color theorem was proven in 1976 by Kenneth Appel and Wolfgang Haken.
   Định lý 4 màu đã được chứng minh năm 1976 bởi 2 ông Kenneth Appel và Wolfgang Haken.
4. The four color theorem was proven in 1976 by Kenneth Appel and Wolfgang Haken by using a computer.
   Định lý 4 màu đã được chứng minh năm 1976 bởi 2 ông Kenneth Appel và Wolfgang Haken.
5. For example, the first proof of the four color theorem was a proof by exhaustion with 1,936 cases.
   Ví dụ như, cách chứng minh định lý bốn màu đầu tiên là một chứng minh vét cạn với 1.936 trường hợp.